Arbogast: Higher order automatic differentiation for special functions with Modular C
نویسندگان
چکیده
منابع مشابه
Several Higher Differentiation Formulas of Special Functions
The notation and terminology used in this paper are introduced in the following articles: [16], [13], [2], [3], [5], [1], [7], [9], [12], [10], [8], [18], [14], [11], [6], [15], and [17]. For simplicity, we use the following convention: x, r, a, x0, p are real numbers, n, i, m are elements of N, Z is an open subset of R, and f , f1, f2 are partial functions from R to R. Next we state a number o...
متن کاملAutomatic Testing of Higher Order Functions
This paper tackles a problem often overlooked in functional programming community: that of testing. Fully automatic test tools like Quickcheck and G∀ST can test first order functions successfully. Higher order functions, HOFs, are an essential and distinguishing part of functional languages. Testing HOFs automatically is still troublesome since it requires the generation of functions as test ar...
متن کاملConfusion of Tagged Perturbations in Forward Automatic Differentiation of Higher-Order Functions
Forward Automatic Differentiation (AD) is a technique for augmenting programs to both perform their original calculation and also compute its directional derivative. The essence of Forward AD is to attach a derivative value to each number, and propagate these through the computation. When derivatives are nested, the distinct derivative calculations, and their associated attached values, must be...
متن کاملA Framework for Higher-Order Functions in C++
C and C++ allow passing functions as arguments to other functions in the form of function pointers. However, since function pointers can refer only to existing functions declared at global or file scope, these function arguments cannot capture local environments. This leads to the common misconception that C and C++ do not support function closures. In fact, function closures can be modeled dir...
متن کاملHigher-order Reverse Automatic Differentiation with emphasis on the third-order
It is commonly assumed that calculating third order information is too expensive for most applications. But we show that the directional derivative of the Hessian (Df(x) · d) can be calculated at a cost proportional to that of a state-of-the-art method for calculating the Hessian matrix. We do this by first presenting a simple procedure for designing high order reverse methods and applying it t...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Optimization Methods and Software
سال: 2018
ISSN: 1055-6788,1029-4937
DOI: 10.1080/10556788.2018.1428603